Computer programming

Results: 45296



#Item
401Theoretical computer science / Logic in computer science / Formal methods / Programming language semantics / Models of computation / Denotational semantics / Process calculi / Matthew Hennessy / Semantics / Maurice Nivat / Bisimulation / Negation

Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

Add to Reading List

Source URL: events.inf.ed.ac.uk

Language: English - Date: 2012-10-10 03:52:01
402Computing / Parallel computing / Computer programming / Application programming interfaces / Message Passing Interface / Fault-tolerant computer systems / LAM/MPI / MPICH / Open MPI / Computer cluster / SHMEM / Application checkpointing

Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation Edgar Gabriel1 , Graham E. Fagg1 , George Bosilca1 , Thara Angskun1 , Jack J. Dongarra1 , Jeffrey M. Squyres2 , Vishal Sahay2 , Prabhanjan Kamb

Add to Reading List

Source URL: www.open-mpi.org

Language: English - Date: 2016-07-27 15:39:42
403Computing / Software / Computer programming / Equations / Mathematical optimization / Application programming interfaces / Bellman equation / Control theory / Dynamic programming / Qt / P22 / Ramsey problem

History dependent public policies David Evans ∗ Thomas J. Sargent‡†

Add to Reading List

Source URL: www.tomsargent.com

Language: English - Date: 2015-04-08 13:04:02
404Obfuscation / Computer programming / Index of Abkhazia-related articles / Software engineering / Index of standards articles

MONFISPOL FP7 project SSHDeliverableReport on accelerating estimation in Dynare (Part I)

Add to Reading List

Source URL: www.monfispol.eu

Language: English - Date: 2011-11-16 08:22:06
405Parallel computing / Computing / Computer programming / Software engineering / Data parallelism / SPMD / HTML Application / Stream processing / Task parallelism / OpenMP / Multi-core processor / Thread

Design Issues in Parallel Array Languages for Shared Memory ! James Brodman1 , Basilio B. Fraguela2 , Mar´ıa J. Garzar´an1 , and David Padua1 1 University of Illinois at Urbana-Champaign, Dept. of Computer Science

Add to Reading List

Source URL: polaris.cs.uiuc.edu

Language: English - Date: 2008-06-04 16:32:10
406Software engineering / Computer programming / Computing / Object-oriented programming languages / Cross-platform software / Procedural programming languages / High-level programming languages / Functional languages / Scheme / Lisp / Eval / Tcl

STK Reference manual Version 4.0 Erick Gallesio Universit´e de Nice - Sophia Antipolis Laboratoire I3S - CNRS URAESSI.

Add to Reading List

Source URL: kaolin.unice.fr

Language: English - Date: 1999-10-01 11:43:26
407Computing / Software / Computer programming / KDE Platform / Application programming interfaces / Phonon / Bosons / 3D audio effect / OpenGL

Phonon 3D C API Programmer’s Guide and Reference Copyright © 2016, Impulsonic, Inc. All Rights Reserved. Overview

Add to Reading List

Source URL: downloads.impulsonic.com

Language: English - Date: 2016-06-30 22:09:58
408Software engineering / Computer programming / Computing / Procedural programming languages / Object-oriented programming languages / Subroutines / Source code / Query languages / Foreach loop / D / Pig / ALGOL 68

Built In Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Dynamic Invokers............................

Add to Reading List

Source URL: pig.apache.org

Language: English - Date: 2015-06-06 13:03:20
409Software / Application software / Mathematical software / Cross-platform software / Array programming languages / Computer algebra systems / Optimization Toolbox / MathWorks / MATLAB / Feature Selection Toolbox

Offer of Complimentary Software License(s) Hello, MathWorks is pleased to support the DNA Data Bank of Japan Data Analytics Challenge. MathWorks will provide software, training, and access to MathWorks engineering mentor

Add to Reading List

Source URL: www.ddbj.nig.ac.jp

Language: English - Date: 2016-07-05 21:40:35
410Software engineering / Computer programming / Computing / Abstract data types / Object-oriented programming languages / Data types / Smalltalk / Foreach loop / Set / VisualWorks / Objective-C / Array data type

Introduction to Smalltalk - Chapter 7 - Introduction to Collections  Ivan TomekChapter 7 - Introduction to Collections Overview

Add to Reading List

Source URL: sdmeta.gforge.inria.fr

Language: English - Date: 2014-10-09 10:38:17
UPDATE